Issue3604.agda:17,1-21,31
Termination checking failed for the following functions:
  f
Problematic calls:
  prd∞ (f m) | prd∞ m
  f pm
    (at Issue3604.agda:19,27-28)
Issue3604.agda:27,8-15
nothing != prd∞ (f inf∞) of type Maybe ℕ∞
when checking that the expression nothing has type
Is-nothing (prd∞ (f inf∞))
